SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: vanbever.eu

Authorizing Network Control at Software Defined Internet Exchange Points Arpit Gupta?, Nick Feamster?, Laurent Vanbever† ? Princeton University †ETH, Zurich

Source URL: www.vanbever.eu

• Network protocols
• Telecommunications engineering
• Computer network
• Delegation
• OpenFlow
• Transmission Control Protocol
• Computing
• Data transmission
• Information and communications technology
• Computer networking

Automatic Synthesis of Deterministic Concurrency Veselin Raychev (ETH Zurich) Martin Vechev (ETH Zurich) Eran Yahav (Technion)

Source URL: www.sri.inf.ethz.ch

9. Quantum chromodynamicsQuantum Chromodynamics Revised September 2017 by S. Bethke (Max-Planck-Institute of Physics, Munich), G. Dissertori (ETH Zurich), and G.P. Salam (CERN).1 This update retains the 2016 summa

Source URL: pdg.lbl.gov

Exercise 1 Datalog and Network Reliability Program Analysis for System Security and Reliability 2018 ETH Zurich February 27, 2018

Source URL: www.sri.inf.ethz.ch

CO-432 MAP AUTHORING IN THE AGE OF MULTIDIMENSIONAL GEODATA PROCESSING HURNI L., WONDRAK S. ETH Zurich, ZURICH, SWITZERLAND 1. INTRODUCTION AND OBJECTIVES In classical analogous and early digital Cartography, the map con

Source URL: icaci.org

Cross-Linking Assisted Modeling CASP 13 Tutorial May 24, 2018 Alexander Leitner & Esben Trabjerg Institute of Molecular Systems Biology, ETH Zurich

Source URL: www.predictioncenter.org

Technical Report No. 526 Timing-Sensitive Information Flow Analysis for Synchronous Systems Boris K¨opf and David Basin Information Security ETH Zurich, Switzerland

Source URL: software.imdea.org

Bitcoin as a Transaction Ledger: A Composable Treatment? Christian Badertscher† , Ueli Maurer† , Daniel Tschudi† , and Vassilis Zikas‡?? † {christian.badertscher,maurer,tschudid}@inf.ethz.ch, ETH Zurich

Source URL: eprint.iacr.org

Internship ETH Zurich Magmatic Petrology and Volcanology group

Source URL: www.kanti-wettingen.ch